package org.adoxx.rest;

import javax.ws.rs.Consumes;
import javax.ws.rs.DefaultValue;
import javax.ws.rs.POST;
import javax.ws.rs.Path;
import javax.ws.rs.Produces;
import javax.ws.rs.QueryParam;
import javax.ws.rs.core.MediaType;

import org.adoxx.bpmn.SimulationEngine;
import org.adoxx.bpmn.VerificationEngine;
import org.adoxx.pn.PetriNet;
import org.adoxx.pn.input.ImporterManager;
import org.adoxx.pn.output.ExporterPNML;
import org.adoxx.utils.Utils;
import org.adoxx.utils.XMLUtils;

@Path("")
public class RESTService {
    
    @POST
    @Path("/simulator/pathanalysis")
    @Produces(MediaType.APPLICATION_XML)
    @Consumes(MediaType.APPLICATION_XML)
    public String startPathAnalysis(String model, @QueryParam("numExecutions") @DefaultValue("1000") int numExecutions, @QueryParam("fullResults") @DefaultValue("true") boolean fullResults){
        try{
            SimulationEngine simulationEngine = new SimulationEngine();
            simulationEngine.returnFullResults(fullResults);
            String simRes = simulationEngine.executePathAnalysis(model, numExecutions);
            return simRes;
        }catch(Exception ex){
        	ex.printStackTrace(); 
        	Utils.log(ex);
        	return "<ERROR>"+XMLUtils.escapeXMLField(ex.getMessage())+"</ERROR>";
        	}
    }
    
    @POST
    @Path("/utils/showpetrinet")
    @Produces(MediaType.APPLICATION_XML)
    @Consumes(MediaType.APPLICATION_XML)
    public String showPetriNet(String model){
        try{
            String ret = "";
            PetriNet[] petriNetList = new ImporterManager().generateFromModel(model);
            for(PetriNet petriNet:petriNetList)
                ret += ExporterPNML.exportTo_PNML(petriNet) + "\n\n";
            return ret;
        }catch(Exception ex){
            ex.printStackTrace(); 
            Utils.log(ex);
            return "<ERROR>"+XMLUtils.escapeXMLField(ex.getMessage())+"</ERROR>";
            }
    }
    
    
    @POST
    @Path("/verificator/deadlock")
    @Produces(MediaType.APPLICATION_XML)
    @Consumes(MediaType.APPLICATION_XML)
    public String startDeadlockVerification(String model, @QueryParam("checkAllDeadlock") @DefaultValue("true") boolean checkAllDeadlock){
        try{
            VerificationEngine verificationEngine = new VerificationEngine();
            String ret = verificationEngine.verifyDeadlock(model, checkAllDeadlock);
            return ret;
        }catch(Exception ex){
            ex.printStackTrace(); 
            Utils.log(ex);
            return "<ERROR>"+XMLUtils.escapeXMLField(ex.getMessage())+"</ERROR>";
            }
    }
    
    @POST
    @Path("/verificator/unboundness")
    @Produces(MediaType.APPLICATION_XML)
    @Consumes(MediaType.APPLICATION_XML)
    public String startUnboundnessVerification(String model, @QueryParam("checkAllUnboundedness") @DefaultValue("false") boolean checkAllUnboundedness){
        try{
            VerificationEngine verificationEngine = new VerificationEngine();
            String ret = verificationEngine.verifyUnboundedness(model, checkAllUnboundedness);
            return ret;
        }catch(Exception ex){
            ex.printStackTrace(); 
            Utils.log(ex);
            return "<ERROR>"+XMLUtils.escapeXMLField(ex.getMessage())+"</ERROR>";
            }
    }
    
    @POST
    @Path("/verificator/reachability")
    @Produces(MediaType.APPLICATION_XML)
    @Consumes(MediaType.APPLICATION_XML)
    public String startReachabilityVerification(String model, @QueryParam("bpObjectId") String bpObjectId,  @QueryParam("inAnyCase") @DefaultValue("false") boolean inAnyCase, @QueryParam("negate") @DefaultValue("false") boolean negate){
        try{
            VerificationEngine verificationEngine = new VerificationEngine();
            String ret = verificationEngine.verifyObjectReachability(model, bpObjectId, inAnyCase, negate);
            return ret;
        }catch(Exception ex){
            ex.printStackTrace(); 
            Utils.log(ex);
            return "<ERROR>"+XMLUtils.escapeXMLField(ex.getMessage())+"</ERROR>";
            }
    }
    
    @POST
    @Path("/verificator/path")
    @Produces(MediaType.APPLICATION_XML)
    @Consumes(MediaType.APPLICATION_XML)
    public String startPathExistenceVerification(String model, @QueryParam("bpFromObjectId") String bpFromObjectId, @QueryParam("bpToObjectId") String bpToObjectId, @QueryParam("inAnyCase") @DefaultValue("false") boolean inAnyCase, @QueryParam("negateFrom") @DefaultValue("false") boolean negateFrom, @QueryParam("negateTo") @DefaultValue("false") boolean negateTo){
        try{
            VerificationEngine verificationEngine = new VerificationEngine();
            String ret = verificationEngine.verifyPathExistence(model, bpFromObjectId, bpToObjectId, inAnyCase, negateFrom, negateTo);
            return ret;
        }catch(Exception ex){
            ex.printStackTrace(); 
            Utils.log(ex);
            return "<ERROR>"+XMLUtils.escapeXMLField(ex.getMessage())+"</ERROR>";
            }
    }
}